нулевой морфизм

См. также в других словарях:

• МОРФИЗМ — категории термин, используемый для обозначения элементов произвольной категории, играющих роль отображений множеств друг в друга, гомоморфизмов групп, колец, алгебр, непрерывных отображений топологич. пространств и т. п. М. категории… …   Математическая энциклопедия

• Нулевой объект — Объект категории  неопределяемое понятие теории категорий. Термин, используемый для обозначения элементов произвольной категории, играющих роль множеств, групп, топологических пространств и т. п. Каждая категория состоит из элементов двух классов …   Википедия

• АБЕЛЕВА КАТЕГОРИЯ — категория, обладающая рядом характерных свойств категории всех абелевых групп. А. к. были введены как основа абстрактного построения гомологич. алгебры (см. [4]). Категория наз. абелевой (см. [2]), если она удовлетворяет следующим аксиомам: А0.… …   Математическая энциклопедия

• Копроизведение — (категорная сумма) семейства объектов  обобщение в теории категорий для понятий дизъюнктного объединения множеств и топологических пространств и прямой суммы модулей или векторных пространств. Копроизведение семейства объектов  это… …   Википедия

• Произведение (теория категорий) — Произведение двух или более объектов  это обобщение в теории категорий таких понятий, как декартово произведение множеств, прямое произведение групп и произведение топологических пространств. Произведение семейства объектов  это в… …   Википедия

• ЯДРО — морфизма категории понятие, частными случаями к рого являются понятия ядра линейного преобразования векторных пространств, ядра гомоморфизма групп, колец и т. п. Пусть категория с нулевыми морфизмами. Морфизм наз. ядром морфизма если и всякий… …   Математическая энциклопедия

• МОНОИДАЛЬНОЕ ПРЕОБРАЗОВАНИЕ — раздутие, s процесс, специального вида бирациональный морфизм алгебраич. многообразий или биме роморфный морфизм аналитич. ространств. Пусть, напр., X алгебраич. многообразие (или произвольная схема), а замкнутое подмногообразие, задаваемое… …   Математическая энциклопедия

• ОСОБАЯ ТОЧКА — 1) О. т. аналитической функции f(z) препятствие для аналитического продолжения элемента функции f(z) комплексного переменного zвдоль какого либо пути на плоскости этого переменного. Пусть аналитическая функция f(z) определена некоторым… …   Математическая энциклопедия

• КОЯДРО — морфизма категории понятие, двойственное понятию ядра морфизма. В категориях векторных пространств, групп, колец и т. п. оно описывает наибольший факторобъект объекта В, аннулирующий образ гомоморфизма Пусть категория с нулевыми морфизмами.… …   Математическая энциклопедия

• АДДИТИВНАЯ КАТЕГОРИЯ — категория С, в к рой для любых двух объектов на множестве морфиз мов определена структура абелевой группы таким образом, что композиция морфизмов является билинейным отображением. Кроме того, требуется, чтобы в Ссуществовал нулевой объект (или… …   Математическая энциклопедия

• АЛГЕБРАИЧЕСКАЯ ПОВЕРХНОСТЬ — двумерное алгебраическое многообразие. Вместе с алгебраическими кривыми А. п. представляют собой наиболее изученный класс алгебраич. многообразий. Богатство задач и идей, применяемых для их решения, делает теорию А. п. одним из самых интересных… …   Математическая энциклопедия